Applied Cryptography and Network Security (vol. # 3531)
The 3rd International Conference on Applied Cryptography and Network Security (ACNS 2005) was sponsored and organized by ...
Continue reading
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Continue reading
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Continue reading
Service Availability (vol. # 3694)
This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ...
Continue reading
Service Availability (vol. # 4328)
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Continue reading
Technologies for E-Services (vol. # 3324)
It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...
Continue reading
